1. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
2. Algorithms and data structures :
پدیدآورنده : Douglas Baldwin and Greg W. Scragg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Data structures (Computer science),Algorithmes.,Structures de données (Informatique),Algorithmus,Algorithmus.,Computer algorithms.,Data structures (Computer science),Datenstruktur,Datenstruktur.
رده :
QA76
.
9
.
A43
B35
2004
3. An introduction to Ramsey theory :
پدیدآورنده : Matthew Katz, Jan Reimann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
رده :
QA165
.
K38
2018
4. Bayesian risk management :
پدیدآورنده : Matt Sekerke
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bayesian statistical decision theory.,Finance-- Mathematical models.,Financial risk management-- Mathematical models.
رده :
HG106
5. Computable analysis
پدیدآورنده : Oliver Aberth,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Recursion theory,Mathematical analysis
رده :
QA
.
A23
9
.
6
6. Computable analysis
پدیدآورنده : / by Klaus Weihrauch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
7. Computable analysis : an introduction
پدیدآورنده : Weihrauch, Klaus, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
8. Computable analysis: an introduction
پدیدآورنده : Weihrauch, K. )Klaus(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
9. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
10. Dynamic programming :
پدیدآورنده : John O.S. Kennedy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Agricultural resources -- Management -- Mathematical models.,Natural resources -- Management -- Mathematical models.,Programmation dynamique.
رده :
S561
.
J646
1986
11. Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-finnish Logic Conference, Jyvs̃kyl, ̃ Finland, June 29-july 6, 1976.
پدیدآورنده : Hintikka, Jaakko
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
B67
.
H568
2013
12. Foundations of software science and computation structures :
پدیدآورنده : FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
13. Fully homomorphic encryption in real world applications /
پدیدآورنده : Ayantika Chatterjee, Khin Mi Mi Aung.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Homomorphisms (Mathematics),Cryptography-- Mathematics.,Homomorphisms (Mathematics),SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
QA268
14. Introduction to queueing networks :
پدیدآورنده : J. MacGregor Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial engineering-- Mathematics.,Mathematical models.,Queuing networks (Data transmission)-- Mathematics.,Queuing theory-- Mathematics.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Transportation Technology and Traffic Engineering.,3D graphics & modelling.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Highway & traffic engineering.,Industrial engineering-- Mathematics.,Mathematical modelling.,Mathematical models.,Queuing networks (Data transmission)
رده :
T57
.
9
.
S625
2018
15. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
16. MATLAB software for the code excited linear prediction algorithm :
پدیدآورنده : Karthikeyan N. Ramamurthy and Andreas S. Spanias.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : CELP.,MATLAB.,MATLAB.,Coding theory.,Prediction theory.,Signal processing-- Mathematical models.,Speech processing systems-- Mathematical models.,Vocoder.,Coding theory.,COMPUTERS-- Optical Data Processing.,Electrical & Computer Engineering.,Electrical Engineering.,Engineering & Applied Sciences.,Prediction theory.,Signal processing-- Mathematical models.,Speech processing systems-- Mathematical models.,Vocoder.
رده :
TK7882
.
S65
R255
2010
17. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
18. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
19. Mathematical analysis
پدیدآورنده : Bernd S.W. Schreoder
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Mathematical analysis
رده :
515
,.
S376M
,
2008
20. Mathematical gems from elementary combinatorics, number theory, and geometry /
پدیدآورنده : by Ross Honsberger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis,Geometry, Problems, exercises, etc,Number theory
رده :
QA164
.
H679
1973
